이곳은 개발을 위한 베타 사이트 입니다.기여내역은 언제든 초기화될 수 있으며, 예기치 못한 오류가 발생할 수 있습니다.문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 버트런드 러셀 (문단 편집) === [[논리학]] 및 [[수리철학]] === [[화이트헤드]]와 공저한 『수학 원리』(Principia Mathematica)"를 필두로 한 러셀의 저작은 비록 후에 많은 비판을 받았고, 스스로도 완전한 논리 위에 수학을 올려놓으려는 목적을 달성하지 못했다고 고백했으나 논리적 분석을 통해 수학을 재건설함으로써 현대수학과 논리학의 기초를 한층 더 엄밀하게 만드는 데에 큰 공을 세웠다. 『수학원리』가 집합론을 기초로 해서 수학의 나머지 분야를 차근차근 쌓아올리는 논리적 작업이기 때문에 오늘날 고등 수학교육의 가장 첫 페이지에 집합론이 등장하는 것도 러셀의 영향 때문이다.[* 그런데 책 이름이 '수학' 원리인데도 수학자들보다는 논리학자들이 러셀의 논리주의를 폭넓게 받아들였다고 한다.] 이런 이유로 피터 왓슨은 《생각의 역사》 2권[* 원제 《A Terrible Beauty: The People and Ideas That Shaped the Modern Mind》]에서 러셀과 화이트 헤드를 "소프트웨어의 할아버지쯤 된다"고 평했다. [[파일:external/mathforum.org/Principia.gif]] 『수학 원리』의 1+1=2임을 증명한 페이지의 사진. 『수학 원리』에서는 수학을 공부하다 보면 한번쯤 생각하게 되는 수식에 대해 증명하기도 했다. 그 유명한(?) '1+1=2'를 증명한 것. 문제는 아래에서도 언급하겠지만 이 수학 원리란 책이 이해하기 어렵기로 악명높은 책이라서, 엉뚱하게 '1+1=2'를 증명하는 것 또한 대단히 어렵다는 소문이 돌게 되었다. 집합론, 자연수, 논리기호 등에 대한 정리를, 그것도 최소한도로 끝내고 나서야 '그러므로 1+1=2다'라는 증명을 하는데 이게 무려 300페이지 넘어가서야 나온다. 이 증명에는 [[페아노 공리계]]가 사용되었으며 증명 자체는 아주 쉽다. [[페아노 공리계]]를 소개하고, [[덧셈]]이라는 연산을 정의한 뒤 그대로 보여준 것이다. 이 부분은 수학 소설인 '[[수학 귀신]]'에도 나온다. 물론 쉽다고 해도 전문 수학의 관점에서 쉽다는 뜻이지, 앞서 말한 [[수학 귀신]]의 독자인 어린이와 같은 일반인들이 쉽게 이해할 수준은 아니다. 이처럼 전문지식을 습득하지 않으면 알아볼 수 없는 기호의 나열들이 빈틈없이 들어찬 페이지가 성서의 3배 두께에 가까운 분량으로 1권부터 3권까지 가득 들어 있다. 그래서 『수학 원리』를 처음부터 끝까지 몽땅 읽은 인물은 저자인 러셀과 화이트 헤드 그리고 후배 논리학자 겸 수학자인 [[쿠르트 괴델]] 달랑 세 명뿐이라는 농담도 있었다.[* 물론 이것은 수학원리가 심도있는 내용들을 다룬 책이라는 걸 나타내기 위한 과장된 표현으로, 수학원리는 오늘날에도 전세계 많은 사람들이 함께 읽고 있는 명저다.] 철학자들 중에서도 집합론이나 논리기호에 까막눈인 경우는 이 저서에 접근할 수 없었다. 한편 러셀은 독일의 [[고틀로프 프레게]]가 평생에 걸쳐서 쌓아올린 수리철학을 20대 후반에 밟아버렸다. 정확히 표현하자면 게오르그 칸토어에 의해서 정립된 집합론을 [[러셀의 역설]]로서 그 모순을 증명했다. 프레게뿐만 아니라 주세페 페아노, 다비트 힐베르트 등 집합론을 부정할 수 없는 진리로 생각해왔던 친집합론자들에게는 충격과 공포 그 자체. 그것만 해도 거대한 업적. 러셀의 저서 '서양철학사'와 '수리철학의 기초(Introduction to Mathematical Philosophy)'등에서 "내가 프레게의 업적을 발견하고 비판하기 전까지만 해도 프레게의 이론은 매우 중요한 이론임에도 약 20년간 철저하게 사람들의 관심 바깥에 있었다."며 여러번 자찬하는 것을 보면 프레게 발굴과 비판은 러셀 본인에게도 꽤 큰 프라이드였던 것 같다. 프레게는 <산술의 기초> 2권을 끝낸 직후에 러셀의 역설을 편지로 받아듣고 충격을 받아 책의 부록에 다음과 같이 썼다. "과학을 연구하는 사람이 자신의 연구를 완성하자마자 그 체계의 토대가 흔들리는 것을 보는 것 만큼 불행한 일도 없을 것이다. 나는 산술의 기초 2권을 완성하기 바로 직전에 버트런드 러셀 씨의 편지로 인해 바로 그런 처지에 놓이게 되었다." 하지만 우습게도 버트런트 러셀과 화이트헤드가 쌓아올린 수학의 궁극적인 이상에 쿠르트 괴델의 [[불완전성 정리]]가 큰 타격을 주었고, 중요한 수학적 문제였던 [[연속체 가설]]이 이에 해당되었다는 사실로 막타를 맞아 큰 훼손을 입었다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기